Merge branch 'pick-insensitive2' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 8 Apr 2019 12:59:06 +0000 (12:59 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 8 Apr 2019 12:59:06 +0000 (12:59 +0000)
Make picking insensitive widgets work again

Closes #1816 and #51

See merge request GNOME/gtk!727


Trivial merge